Mutated Specification-Based Test Data Generation with a Genetic Algorithm

Specification-based testing methods generate test data without the knowledge of structure program. However, quality these are not well ensured to detect bugs when non-functional changes introduced To effectively, we propose a new method that combines formal specifications with genetic algorithm (GA). In this method, reformed by GA in order be used input values can kill as many mutants target program possible. Two classic examples presented demonstrate how works. The result shows proposed help effectively cases mutants, which contributes further maintenance software.